Kowshik, Sumant: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Memory safety without garbage collection for embedded applications

Dhurjati, Dinakar, Kowshik, Sumant, Adve, Vikram, Lattner, Chris

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2005

Language:

english

File:

PDF, 499 KB

english, 2005

2

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - PRECIS: Inferring invariants using program path guided clustering

Sagdeo, Parth, Athavale, Viraj, Kowshik, Sumant, Vasudevan, Shobha

Year:

2011

Language:

english

File:

PDF, 344 KB

english, 2011

3

[ACM Press the 2006 ACM SIGPLAN conference - Ottawa, Ontario, Canada (2006.06.11-2006.06.14)] Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation - PLDI '06 - SAFECode

Dhurjati, Dinakar, Kowshik, Sumant, Adve, Vikram

Year:

2006

Language:

english

File:

PDF, 211 KB

english, 2006

4

Prevention of failures due to assumptions made by software components in real-time systems

Tirumala, Ajay, Crenshaw, Tanya, Sha, Lui, Baliga, Girish, Kowshik, Sumant, Robinson, Craig, Witthawaskul, Weerasak

Journal:

ACM SIGBED Review

Year:

2005

Language:

english

File:

PDF, 134 KB

english, 2005

5

SAFECode

Dhurjati, Dinakar, Kowshik, Sumant, Adve, Vikram

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 211 KB

english, 2006

6

Memory safety without runtime checks or garbage collection

Dhurjati, Dinakar, Kowshik, Sumant, Adve, Vikram, Lattner, Chris

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 240 KB

english, 2003

7

[ACM Press the international conference - Greenoble, France (2002.10.08-2002.10.11)] Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems - CASES '02 - Ensuring code safety without runtime checks for real-time control systems

Kowshik, Sumant, Dhurjati, Dinakar, Adve, Vikram

Year:

2002

Language:

english

File:

PDF, 124 KB

english, 2002

8

[ACM Press the 2003 ACM SIGPLAN conference - San Diego, California, USA (2003.06.11-2003.06.13)] Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems - LCTES '03 - Memory safety without runtime checks or garbage collection

Dhurjati, Dinakar, Kowshik, Sumant, Adve, Vikram, Lattner, Chris

Year:

2003

Language:

english

File:

PDF, 240 KB

english, 2003